Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Tschechische Republik |
|---|---|
| Ort | Brno |
| Universität/Institution | Masaryk University |
| Institut/Abteilung | Institute for Theoretical Computer Science |
Profil
| Fachgebiet | Theoretische Informatik |
|---|---|
| Keywords | formal methods, game theory in formal verification, probabilistic model-checking, computer science, semantics |